Robust Model Predictive Control for Signal Temporal Logic Synthesis
نویسندگان
چکیده
منابع مشابه
Robust Model Predictive Control for Signal Temporal Logic Synthesis
Most automated systems operate in uncertain or adversarial conditions, and have to be capable of reliably reacting to changes in the environment. The focus of this paper is on automatically synthesizing reactive controllers for cyber-physical systems subject to signal temporal logic (STL) specifications. We build on recent work that encodes STL specifications as mixed integer linear constraints...
متن کاملModel Predictive Control for Signal Temporal Logic Specification
We present a mathematical programming-based method for model predictive control of cyber-physical systems subject to signal temporal logic (STL) specifications. We describe the use of STL to specify a wide range of properties of these systems, including safety, response and bounded liveness. For synthesis, we encode STL specifications as mixed integer-linear constraints on the system variables ...
متن کاملRobust Model Predictive Control with Signal Temporal Logic constraints for Barcelona Wastewater System
We propose a traceable approach for the control of the Barcelona wastewater system that is subject to sudden weather-change events within the Mediterranean climate. Due to the unpredictable weather changes, lack of appropriate control methodologies may result in overflow in the sewage system, which causes environmental contamination (pollution). In order to improve the management of the wastewa...
متن کاملTemporal logic model predictive control
This paper proposes an optimal control strategy for a discrete-time linear system constrained to satisfy a temporal logic specification over a set of linear predicates in its state variables. The cost is a quadratic function that penalizes the distance from desired state and control trajectories. The specification is a formula of syntactically co-safe Linear Temporal Logic (scLTL), which can be...
متن کاملShrinking Horizon Model Predictive Control with Signal Temporal Logic Constraints under Stochastic Disturbances
We present Shrinking Horizon Model Predictive Control (SHMPC) for discrete-time linear systems with Signal Temporal Logic (STL) specification constraints under stochastic disturbances. The control objective is to maximize an optimization function under the restriction that a given STL specification is satisfied with high probability against stochastic uncertainties. We formulate a general solut...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IFAC-PapersOnLine
سال: 2015
ISSN: 2405-8963
DOI: 10.1016/j.ifacol.2015.11.195